Nuprl Definition : ma-single-sframe 0,22
only L sends on (l with tg)
== mk-ma(;
== ;
== ;
== ;
== ;
== ;
== ;
== <l,tg> : L;
== ;
== ;
== ) 
latex

Definitionsmk-ma, x : v, <a,b>,
FDL editor aliasesma-single-sframe

origin